Search
Feedback
About
Help
News
| Listing 1 - 7 of 7 |
Sort by
|
Book
Year: 1985 Publisher: New York: Ellis Horwood,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 3540110461 3642966616 Year: 1981 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- #TCPW P5.2 --- 681.3*D32 --- 681.3*F41 --- 681.3*I25 --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- 681.3*I25 Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Prolog (Computer program language).
ISBN: 3540150110 0387150110 3642968732 Year: 1985 Publisher: Berlin New York Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D32 --- 681.3*F41 --- 681.3*I25 --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*I25 Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Prolog (Computer program language) --- PROLOG (Langage de programmation) --- Prolog [Langage de programmation]. --- Prolog [Programmatietaal]. --- Prolog (Computer program language). --- Artificial intelligence. --- Intelligence artificielle --- Prolog (computer program language)
Book
Year: 1984 Publisher: [Lieu de publication inconnu]: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming Language --- Prolog (langage de programmation) --- List
ISBN: 3540583505 Year: 1994 Publisher: Berlin : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540006788 Year: 2003 Publisher: Berlin : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9020120743 Year: 1987 Publisher: Deurne Kluwer Technische Boeken
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logiciels --- Software --- 681.3.068 --- Programmeertalen (Programmatuur) --- Prolog --- 519.682 --- Programming languages. Metalanguages --- Prolog (programmeertaal) --- Prolog (programmeertaal). --- 519.682 Programming languages. Metalanguages
| Listing 1 - 7 of 7 |
Sort by
|